Algebraic Techniques for Constructing Minimal Weight
نویسندگان
چکیده
A linear threshold element computes a function that is a sign of a weighted sum of the input variables. The weights are arbitrary integers; actually, they can be very big integers| exponential in the number of the input variables. While in the present literature a distinction is made between the two extreme cases of linear threshold functions with polynomial-size weights as opposed to those with exponential-size weights, the best known lower bounds on the size of threshold circuits are for depth-2 circuits with small weights. Our main contributions are devising two distinct methods for constructing threshold functions with minimal weights and lling up the gap between polynomial and exponential weight growth by further reening the separation. Namely, we prove that the class of linear threshold functions with polynomial-size weights can be divided into subclasses according to the degree of the polynomial. In fact, we prove a more general result|that there exists a minimal weight linear threshold function for any arbitrary number of inputs and any weight size.
منابع مشابه
Algebraic Techniques for Constructing Minimal Weight Threshold Functions
A linear threshold element computes a function that is a sign of a weighted sum of the input variables. The best known lower bounds on the size of threshold circuits are for depth-2 circuits with small (polynomial-size) weights. However, in general, the weights are arbitrary integers and can be of exponential size in the number of input variables. Namely, obtaining progress in lower bounds for ...
متن کاملMinimal Order Discrete-time Nonlinear System Inversion
The left-inverse system with minimal order of a discrete-time nonlinear system is studied in a linear algebraic framework. The general structure of the left inverse is described. Two algorithms are given for constructing left-inverse systems having minimal order.
متن کاملToward Nevanlinna-galois Theory for Algebraic Minimal Surfaces
A complete minimal surface in R is said to be pseudo-algebraic, if its Weierstrass data are defined on a compact Riemann surface finitely many points removed M = M\{P1, . . . , Pn} and extend meromorphically across punctures ([KKM], see also [G]). The punctured Riemann surface M on which the Weierstrass data are defined is called the basic domain. The difference between a complete minimal surfa...
متن کاملSymbolic Computation for Rankin-Cohen Differential Algebras
Zagier pursues the study of the algebraic structure that this operation gives to the ring of modular forms viewed as a differential module, observing that it is “not clear how far we would have to go to get the first relation or how much further to ensure that all subsequent relations obtained would be consequences of ones already found”. Instead of determining the relations, he proposes the ab...
متن کاملA constructive count of rotation symmetric functions
In this paper we present a constructive detection of minimal monomials in the algebraic normal form of rotation symmetric Boolean functions (immune to circular translation of indices). This helps in constructing rotation symmetric Boolean functions by respecting the rules we present here. 2003 Elsevier B.V. All rights reserved.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007